| Definitions | ecl-add-catch(A; l), ecl-add-throw(A; m), reduce(f; k; as), Y, add-ecl-act(A; m), reset-ecl-tuple(A), subtype(S; T), top, guard(T), sq_type(T), combine-ecl-tuples2(A; B; f; g), False,  A, A  B,  , combine-ecl-tuples(A; B; f; g), spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), ecl-base-tuple(k; test), ecl-trans-ks(v),   x. t(x), t  T, P   Q, prop{i:l}, ecl-trans(x), ecl-kinds(x),  x:A. B(x), P  Q, P  Q, ||as||, ecl-trans-tuple{i:l}(ds; da), x(s) |